Incremental execution of rule-based model transformation
نویسندگان
چکیده
منابع مشابه
Rule Execution in Graph-Based Incremental Interactive Integration Tools
Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are created which have to be kept consistent with each other. Graph transformations are well suited for modeling the operations provided for maintaining inter-document consistency. In this paper, we describe a novel approach to rule exe...
متن کاملA Rule-based System for Model Transformation
We describe the constraint model transformation system Cadmium, focussing on its application. We discuss how we use it to reduce solver-independent models in the medium-level modelling language MiniZinc into equivalent models for finite domain constraint solvers and integer linear programming solvers.
متن کاملDeclarative Model Transformation Execution Planning
Declarative model transformation languages require that the underlying reasoning engine synthesises an execution plan that guarantees correctness while also providing reasonable performance. Optimization of these execution plans is a hard problem and for languages such as QVT Core, finding an optimal solution is still unsolved. By understanding how a brute force execution plan guarantees correc...
متن کاملIncremental Design of Ontologies - A Model Transformation-based Approach
This paper focuses on Model Driven Engineering (MDE) techniques to build ontology incrementally. The global building process consists of building ontologies from texts through a stepwise approach. Our approach consists of modeling each step independently and defining a mapping model to express relationships between these steps. Results of this work are applied in the ANR DAFOE project, which ai...
متن کاملTHE EASST NEWSLETTER A Summary of: Rule Execution in Graph-Based Incremental Interactive Integration Tools
Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are created which have to be kept consistent with each other. Graph transformations are well suited for modeling the operations provided for maintaining inter-document consistency. In this summary, we describe a novel approach to rule e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2020
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-020-00583-y